‘Firing Sequence’ as a Tool for the Analysis of Petri Nets | IEEE Conference Publication | IEEE Xplore